Language-oriented programming

Results: 1157



#Item
211Type theory / Data types / Functional languages / Object-oriented programming / Procedural programming languages / Type system / Type safety / Subtype polymorphism / Polymorphism / Software engineering / Computing / Programming language theory

Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

Add to Reading List

Source URL: galois.com

Language: English - Date: 2014-07-17 17:29:46
212Design / Systems engineering / Object-oriented programming / Architecture description language / Third-party software component / 3D modeling / Software development / Software engineering / Component-based software engineering / Software architecture

Software Component Models: Past, Present and Future Kung-Kiu Lau School of Computer Science The University of Manchester, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-01-30 09:27:34
213Object-oriented programming / NewtonScript / Prototype-based programming / Self / Class-based programming / Class / Io / Newton / Inheritance / Software engineering / Computer programming / Computing

Using a Prototype-based Language for User Interface: The Newton Project’s Experience Walter R. Smith Apple Computer, Inc. 1 Infinite Loop, MS 305-2B Cupertino, CA 95014

Add to Reading List

Source URL: waltersmith.us

Language: English - Date: 2012-05-07 17:56:07
214Programming language theory / Data types / Object-oriented programming / Polymorphism / Alloy / Z notation / Type system / Subtype polymorphism / Daniel Jackson / Software engineering / Type theory / Computing

Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
215Object-oriented programming / Objective-C / Object / Self / Scheme / Inheritance / Method / Constructor / Smalltalk / Software engineering / Computer programming / Computing

Introduction to Computing: Explorations in Language, Logic, and Machines

Add to Reading List

Source URL: www.computingbook.org

Language: English - Date: 2011-08-19 11:52:40
216Information technology management / Software engineering / Service-oriented architecture / Business Process Execution Language / Object database / Middleware / Service-oriented programming / Event-driven SOA / Enterprise application integration / Computing / Web services

Service Oriented Architecture Come of Age Industry Overview Service Oriented Architecture (SOA) is moving surely along the further end of the adoption parabola. The Web Services vendor community, once considered an exoti

Add to Reading List

Source URL: virtuoso.openlinksw.com

Language: English
217Java programming language / Data types / Object-oriented programming / Memory management / Static variable / C++ classes / Constant / Final / Constructor / Software engineering / Computing / Computer programming

JAVA - VARIABLE TYPES http://www.tutorialspoint.com/java/java_variable_types.htm Copyright © tutorials point.com A variable provides us wit h named st orage t hat our programs can manipulat e. Each variable in Java

Add to Reading List

Source URL: www.tutorialspoint.com

Language: English - Date: 2015-04-27 04:47:22
218Method / C++ / Object-oriented programming / Resource Acquisition Is Initialization / C programming language / Destructor / Struct / Constructor / C++ classes / Computer programming / Software engineering / Computing

A Mechanized Semantics for C++ Object Construction and Destruction with Applications to Resource Management Tahina Ramananandro1 Gabriel Dos Reis2

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2012-01-27 12:05:16
219Object-oriented programming / Subroutines / Java programming language / Data types / Callback / C++ classes / Construct / Object / Interface / Software engineering / Computing / Computer programming

BookKeeper Getting Started Guide

Add to Reading List

Source URL: zookeeper.apache.org

Language: English - Date: 2012-11-18 19:36:21
220Programming paradigms / Cross-platform software / Functional languages / Python / Programming language / Racket / Read–eval–print loop / Application programming interface / Object-oriented programming / Computing / Software / Scripting languages

To appear in the Proceedings of the 43rd ACM Technical Symposium on Computer Science Education, SIGCSECalico: A Multi-Programming-Language, Multi-Context Framework Designed for Computer Science Education Douglas B

Add to Reading List

Source URL: science.slc.edu

Language: English - Date: 2012-01-21 21:22:40
UPDATE